Большой энциклопедический словарь - бет

(Beth) Эверт Виллем (1908-64), нидерландский философ и логик. Выдвинул идею о необходимости синтеза логики, оснований математики, истории точных наук и психологии мышления. В логике разработал метод семантических (аналитических) таблиц, семантику интуиционистской логики и др.